Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms
نویسندگان
چکیده
منابع مشابه
Parallel Algorithms for Interval Computations: an Introduction
2 Why are Interval Computations Necessary? 2 2.1 A (brief) general overview of the problems that our world faces . . . . . . . . . . . . 2 2.2 Computational aspects of analysis, and where interval computation comes into the picture . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.3 Computational problems related to synthesis . . . . . . . . . . . . . ....
متن کاملParallel algorithms for scheduling data-graph computations
A data-graph computation — popularized by such programming systems as Pregel, GraphLab, Galois, Ligra, PowerGraph, and GraphChi — is an algorithm that iteratively performs local updates on the vertices of a graph. During each round of a data-graph computation, a user-supplied update function atomically modifies the data associated with a vertex as a function of the vertex’s prior data and that ...
متن کاملDevelopment and Utilization of Parallel Generic Algorithms for Scientific Computations
We develop generic parallel algorithms as extensible modules that encapsulate related classes and parallel methods. Extensible modules define common parallel structures, such as meshes, pipelines, or master-server networks in problem-independent manner. Such modules can be extended with sequential domain-specific code in order to derive particular parallel applications. In this paper, we first ...
متن کاملProgramming Models, Compilers, and Algorithms for Irregular Data-Parallel Computations
Advances in parallel computing have made it clear that the ability to express computations in a machine-independent manner and the ability to handle dynamic and irregular computations are two necessary features of future programming systems. In this paper, we describe the nested data-parallel model of programming, which has both these capabilities. We present an intermediate-level language call...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computers
سال: 2014
ISSN: 0018-9340
DOI: 10.1109/tc.2014.2322593